1. Methods in mathematical logic, proceedings of the 6th Latin American symposium an Mathematical Logic 1-6, 1983
Author: edited by C. A. Diprisco
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
1130
